Search results for "General problem"
showing 10 items of 13 documents
Words and forbidden factors
2002
AbstractGiven a finite or infinite word v, we consider the set M(v) of minimal forbidden factors of v. We show that the set M(v) is of fundamental importance in determining the structure of the word v. In the case of a finite word w we consider two parameters that are related to the size of M(w): the first counts the minimal forbidden factors of w and the second gives the length of the longest minimal forbidden factor of w. We derive sharp upper and lower bounds for both parameters. We prove also that the second parameter is related to the minimal period of the word w. We are further interested to the algorithmic point of view. Indeed, we design linear time algorithm for the following two p…
Concurrent Molecular Dynamics Simulation of ST2 Water on a Transputer Array
1988
Abstract A concurrent implementation of a Molecular Dynamics program for ST2 water molecules is presented, which exploits the great potentialities of the Transputer arrays for statistical mechanical calculations. High load-balance efficiency is obtained using a new task decomposition algorithm which evenly distributes particles and interaction calculations among the processors. This approach can also help to solve efficiently the more general problem of task distribution in parallel computing of symmetric pairwise system properties.
On the Shuffle of Star-Free Languages
2012
Motivated by the general problem to characterize families of languages closed under shuffle, we investigate some conditions under which the shuffle of two star-free languages is star-free. Some of the special cases here approached give rise to new problems in combinatorics on words.
Branch and bound for the cutwidth minimization problem
2013
The cutwidth minimization problem consists of finding a linear arrangement of the vertices of a graph where the maximum number of cuts between the edges of the graph and a line separating consecutive vertices is minimized. We first review previous approaches for special classes of graphs, followed by lower bounds and then a linear integer formulation for the general problem. We then propose a branch-and-bound algorithm based on different lower bounds on the cutwidth of partial solutions. Additionally, we introduce a Greedy Randomized Adaptive Search Procedure (GRASP) heuristic to obtain good initial solutions. The combination of the branch-and-bound and GRASP methods results in optimal solu…
Did Brouwer’s Intuitionistic Analysis Satisfy Its Own Epistemological Standards?
2000
The aim of this essay is both historical and philosophical. On the histori. level, the following remarks are intended to contribute to a better understanding of the missing reception of the more advanced parts of Luitzen E. J. Brouwer’s intuitionistic mathematics. More precisely, I want to draw attention to a crucial technical difficulty in Brouwer’s treatment of the basic theorems of intuitionistic analysis. It concerns the (intuitionistic) proof of what Brouwer viewed as one of the cornerstones of intuitionistic set theory, the “fan theorem,” as it is often called today. This difficulty most probably presented a serious obstacle to contemporary attempts to understand Brouwer’s contributio…
On the Characterization of Dynamic Properties of Random Processes by Spectral Parameters
2000
This paper deals with the general problem of directly relating the distribution of ranges of wide band random processes to the power spectral density (PSD) by means of closed-form expressions. Various attempts to relate the statistical distribution of ranges to the PSD by means of the irregularity factor or similar parameters have been done by several authors but, unfortunately, they have not been fully successful. In the present study, introducing the so-called analytic processes, the reasons for which these parameters are insufficient to an unambiguous determination of the range distribution and the fact that parameters regarding the time-derivative processes are needed have been explaine…
FLUCTUATIONS IN LIPID BILAYERS: ARE THEY UNDERSTOOD?
2013
We review recent computer simulation studies of undulating lipid bilayers. Theoretical interpretations of such fluctuating membranes are most commonly based on generalized Helfrich-type elastic models, with additional contributions of local "protrusions" and/or density fluctuations. Such models provide an excellent basis for describing the fluctuations of tensionless bilayers in the fluid phase at a quantitative level. However, this description is found to fail for membranes in the gel phase and for membranes subject to high tensions. The fluctuations of tilted gel membranes show a signature of the modulated ripple structure, which is a nearby phase observed in the pretransition regime betw…
Theories relating baryon asymmetry and dark matter
2014
The nature of dark matter and the origin of the baryon asymmetry are two of the deepest mysteries of modern particle physics. In the absence of hints regarding a possible solution to these mysteries, many approaches have been developed to tackle them simultaneously leading to very diverse and rich models. We give a short review where we describe the general features of some of these models and an overview on the general problem. We also propose a diagrammatic notation to label the different models.
Extensions of the Noncommutative Integration
2016
In this paper we will continue the analysis undertaken in Bagarello et al. (Rend Circ Mat Palermo (2) 55:21–28, 2006), Bongiorno et al. (Rocky Mt J Math 40(6):1745–1777, 2010), Triolo (Rend Circ Mat Palermo (2) 60(3):409–416, 2011) on the general problem of extending the noncommutative integration in a *-algebra of measurable operators. As in Aiena et al. (Filomat 28(2):263–273, 2014), Bagarello (Stud Math 172(3):289–305, 2006) and Bagarello et al. (Rend Circ Mat Palermo (2) 55:21–28, 2006), the main problem is to represent different types of partial *-algebras into a *-algebra of measurable operators in Segal’s sense, provided that these partial *-algebras posses a sufficient family of pos…
Possible extensions of the noncommutative integral
2011
In this paper we will discuss the problem of extending a trace σ defined on a dense von Neumann subalgebra \(\mathfrak{M}\) of a topological *-algebra \({\mathfrak{A}}\) to some subspaces of \({\mathfrak{A}}\). In particular, we will prove that extensions of the trace σ that go beyond the space L1(σ) really exist and we will explicitly construct one of these extensions. We will continue the analysis undertaken in Bongiorno et al. (Rocky Mt. J. Math. 40(6):1745–1777, 2010) on the general problem of extending positive linear functionals on a *-algebra.